Step of Proof: integer sqrt 11,40
Inference at * 1 0 1 2 1 1 
Iof proof for Lemma integer sqrt:

.....basecase..... NILNIL

  r:. (((r * r)  0) & (0 < ((r+1) * (r+1)))) 
latex
 by Id  
latex

 1: .....basecase..... NILNIL

 1:   r:. (((r * r)  0) & (0 < ((r+1) * (r+1))))
 .

origin